1. A structural account of mathematics
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics ; Philosophy. ; Structuralism. ; Constructive mathematics. ;
2. Apartness and uniformity a constructive development
المؤلف: Bridges, Douglas S., Douglas S. Bridges, Luminia Simona V
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Constructive mathematics.
رده :
QA
8
.
A6
B7
2011
3. Bounded arithmetic /
المؤلف: Samuel R. Buss
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational complexity,Constructive mathematics
رده :
QA9
.
56
.
B87
1986
4. Bounded arithmetic
المؤلف: Buss, Samuel R.
المکتبة: (طهران)
موضوع: ، Constructive mathematics,، Computational complexity
رده :
QA
9
.
56
.
B87
1986
5. Bounded arithmetic, propositional logic, and complexity theory
المؤلف: / Jan Krajicek
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Constructive mathematics.,Proposition (Logic),Computational complexity.
رده :
QA
,
9
.
56
,.
K73
,
1995
6. Bounded arithmetic, propositional logic, and complexity theory
المؤلف: Krajicek, Jan
المکتبة: (طهران)
موضوع: ، Constructive mathematics,، Proposition )Logic(,، Computational complexity
رده :
QA
9
.
56
.
K7
7. Bounded arithmetic, propositional logic, and complexity theory
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Constructive mathematics. ; Proposition (Logic) ; Computational complexity. ;
8. Callege mathematics integral analysis
المؤلف: S.U. Kamat, V.D. Deshpande,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Calculus,Constructive mathematics
رده :
QA
.
K3
303
1980
9. Closure properties and kripke models for fragments of heyting arithmetic
المؤلف: by: Morteza Moniri,^AMoniri, Morteza
المکتبة: (طهران)
موضوع: Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
10. Constructibility and mathematical existence /
المؤلف: Charles S. Chihara.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Constructive mathematics.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques constructives.,Mathématiques-- Philosophie.,Constructieve wiskunde.,Constructive mathematics.,Filosofia da matemática.,Filosofie.,Logic, Symbolic and mathematical.,Lógica matemática.,Matemática construtiva.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Mathematics-- Philosophy.,Ontologie (filosofie)
رده :
QA8
.
4
.
C45
1990eb
11. Constructibility & mathematical existence
المؤلف: CHIHARA,CHARLES S
المکتبة: (طهران)
موضوع: MATHEMATICS-PHILOSOPHY , CONSTRUCTIVE MATHEMATIC , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
8
.
4
.
C45
12. Constructive mathematics: proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, Augustll-15, 1980
المؤلف: Edited by F. Richman
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Constructive mathematics - Congresses,Inuitionistic mathematics - Congresses
رده :
QA
3
.
L28
no
.
873
13. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
المؤلف: edited by F. Richman
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
1
.
L4
v
.
873
14. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
المؤلف: edited by F. Richman
المکتبة: (طهران)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
3
.
L28
Vol
.
873
15. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
16. Constructive measure theory,
المؤلف: by Errett Bishop and Henry Cheng.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Constructive mathematics.,Integrals, Generalized.,Measure theory.
رده :
QA3
.
A57
no
.
116
17. Constructive physics
المؤلف: / Y.I. Ozhigov
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Quantum theory--Mathematical models,Constructive mathematics.
رده :
QC174
.
17
.
M35O94
2011
18. Constructivism in mathematics
المؤلف: / A.S. Troelstra, D. van Dalen
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Constructive mathematics.
رده :
QA
,
9
.
56
,.
T74
,
1988
19. Constructivism in mathematics
المؤلف: Troelstra, Anne Sjerp
المکتبة: (طهران)
موضوع: ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
20. Constructivism in mathematics
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Constructive mathematics. ;
